1. Advances in hardware design and verification: IFIP TC10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal, Canada
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer engineering-- Congresses,، Computer software-- Verification-- Congresses
Classification :
TK
7874
.
75
.
I45
1997
2. Automatic verification of sequential infinite-state processes
Author: Olaf Burkart
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer software -- Verification,، Software engineering
Classification :
QA
76
.
L28
Vol
.
1354
3. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
4. Data flow analysis :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Compilers (Computer programs) ; Data flow computing ; Software engineering ; Computer software ; Verification ;
5. Data flow analysis
Author: / Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Compilers (Computer programs),Data flow computing.,Software engineering.,Computer software--Verification
Classification :
QA
,
76
.
76
,.
C65
,
K54
,
2009
6. Data flow analysis
Author: Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs),Computer software-- Verification.,Data flow computing.,Software engineering.,Compilers (Computer programs),Computer software-- Verification.,COMPUTERS-- Systems Architecture-- Distributed Systems & Computing.,Data flow computing.,Software engineering.
7. Empirical software engineering and verification
Author: Bertrand Meyer, Martin Nordio (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
E47
2011eb
8. Formal Methods for Industrial Critical Systems
Author: \ Manuel Núñez , Matthias Güdemann (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,برنامه‌های کامپیوتری -- راستی‌آزمایی -- کنگره ها
Classification :
QA
76
.
9
.
F6
2015
E-Book
,
9. Foundations of computer software
Author: Radu Calinescu, Ethan Jackson (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
M66
2011
10. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
Classification :
QA
76
.
76
.
D47
.
M666
2011
11. Fundamental approaches to software engineering
Author: Juan de Lara, Andrea Zisman (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
F44
2012eb
12. Languages, Design Methods, and Tools for Electronic System Design
Author: \ Franco Fummi, Robert Wille, Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره‌ها
Classification :
E-Book
,
13. Languages, design methods, and tools for electronic system design.
Author: \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره ها
Classification :
QA
76
.
9
.
L325
2016
E-Book
,
14. Model Checking Software
Author: \ Bernd Fischer, Jaco Geldenhuys (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستی‌آزمایی -- کنگره ها
Classification :
QA
76
.
76
.
V47
I58
2015
E-Book
,
15. Software engineering analysis and verification
Author: Lewis, Theodore Gyle, 1491-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Software engineering,، Computer software -- Verification
Classification :
QA
76
.
6
.
L477
16. Software engineering reviews and audits
Author: Boyd L. Summers
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Software engineering,Computer software, Validation,Computer software, Verification
Classification :
QA
،
76
.
758
،.
S86
،
2011
17. Software engineering reviews and audits
Author: Summers, Boyd L
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Software engineering ► Computer software- Validation ► Computer software- Verification
Classification :
005
.
S955s
18. Software engineering reviews and audits
Author: Summers, Boyd L.
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software engineering,Validation ، Computer software,Verification ، Computer software
Classification :
QA
76
.
758
.
S86
2011
19. Software engineering reviews and audits
Author: Summers, Boyd L.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Software engineering,Validation ، Computer software,Verification ، Computer software
Classification :
QA
76
.
758
.
S86
2011
